AADL[1]

Axiomatic Architecture Description Language

"AADL: A Net-Based Specification Method for Computer Architecture Design", W. Damm et al in Languages for Parallel Architectures, J. W. deBakker ed, Wiley, 1989.